首页> 外文OA文献 >Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving

【2h】

Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving

机译：代数证明证书及其在自动几何定理证明中的应用

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Post-proceedings of ADG 2008 (Automated Deduction in Geometry)

机译：ADG 2008的后续程序（自动推论几何）

著录项

作者
Grégoire, Benjamin; Pottier, Loïc; Théry, Laurent;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. A new algebraic tool for Automatic Theorem Provers Multisemilattice: A structure to improve the efficiency of provers in temporal logics [J] . P. Cordero, G. Gutierrez, J. Martinez, Annals of Mathematics and Artificial Intelligence . 2004,第4期

机译：自动定理证明多重半精算的新代数工具：一种提高时间逻辑证明者效率的结构
2. Automatically Proving Plane Geometry Theorems Stated by Text and Diagram [J] . Gan Wenbin, Yu Xinguo, Zhang Ting, International Journal of Pattern Recognition and Artificial Intelligence . 2019,第7期

机译：由文本和图表自动证明平面几何定理
3. Automatically Proving Plane Geometry Theorems Stated by Text and Diagram [J] . Gan Wenbin, Yu Xinguo, Zhang Ting, International Journal of Pattern Recognition and Artificial Intelligence . 2019,第7期

机译：自动证明文本和图表中规定的平面几何定理
4. Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving [C] . Benjamin Gregoire, Loic Pottier, Laurent Thery Automated deduction in geometry . 2008

机译：代数证明证书及其在自动几何定理证明中的应用
5. The impact of different proof strategies on learning geometry theorem proving. [D] . Matsuda, Noboru. 2004

机译：不同证明策略对学习几何定理证明的影响。
6. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data [O] . Sunny Raj, Faraz Hussain, Zubir Husein, 2017

机译：自动合成流式细胞仪数据可视化的定理证明方法
7. Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving [O] . Grégoire, Benjamin, Pottier, Loïc, Théry, Laurent 2011

机译：代数证明证书及其在自动几何定理证明中的应用
8. On Proving Theorems in Plane Geometry Via Digital Computer [R] . Bellman, R. 1965

机译：用数字计算机证明平面几何中的定理

Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅